revocation of a patent